Romania and the United States of America share some history that is similar in many respects. Both states have struggled to gain their independence, their sovereignty, and historical recognition. That in which they have followed a different path was about the civilization pattern in which each of the two states was established. We need to remind here and pay all the due respect to them, the Romanian and American historians who have dealt with the early issues of the US-Romanian relations, (...) that is Paul Cernovodeanu, Cornelia Bodea, Ion Stanciu, Dumitru Vitcu, Constantin Bușe, Keith Hitchins, Stephen FischerGalați, Radu R. Florescu, James F. Clarke, and many others. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

This paper uses analytic philosophy to prevent merely verbal disputes about the concept of fiction within discussions on fictiones iuris. It provides a survey of potentially fruitful connections between legal fictions and fictionalism. More specifically, I will argue that by enriching current accounts of legal fictions in legal theory with insights from (1) the philosophy of language on fictional speech and from (2) contemporary metaphysics on philosophical fictionalism, it seems natural to explore the position that talk involving fictiones iuris is (...) structurally an exemplification of elliptical speech. Such fictionalism about legal fictions illuminates why prominent condemnations of fictions in law – e.g. as blatant falsehoods, shady fraudulences, or legal defects – are theoretical myths, since they fail to distinguish between analytically distinct (ontological, epistemic, alethic, semantic, and evaluative) levels. Moreover, a fictionalist account might even sharpen our sense of which legal fictions are more “innocent” than others. I will begin by introducing philosophical fictionalism (II), before the fictiones iuris will be characterized as an operation in legal reasoning by consulting the Leibnizian reconstruction of Roman Law’s epistemology (III). Sections IV and V seek to provide further clarifications on the ‘fictional’ / ‘fictitious’ distinction as well as the heterogeneity of fictionalist research questions. Section VI then contains a little guided tour through the different analyses of the concept of fiction(s) within fictionalism. Subsequently, I will show how insights from those discussions contribute to demystify some of the most prominent allegations raised against legal fictions (VII). Fictionalism about legal fictions, Section VIII tentatively suggests, might not only harmonize with both classic and recent treatments of legal fictions, but help to also highlight their epistemic values. In slogan form: fictiones iuris are instruments to preserve legal truths worth having. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

Volumul ”Sustenabilitatea educației doctorale în economie și afaceri” valorifică ideile și cercetările doctoranzilor de la Universitatea “Alexandru Ioan Cuza” din Iași, școala doctorală de economie și administrarea afacerilor. Lucrările au fost prezentate, prin postere sau în plen, în conferința finală a proiectului SESYR, finanțat prin programul european Jean Monnet. Structurarea volumului în patru subcapitole generice are ca scop valorificarea domeniilor considerate prin filosofia proiectului:managementul proiectelor, antreprenoriat si angajabilitate pentru tinerii cercetători. O colecție de 24 de articole având 35 de autori, (...) oferă un mediu de dezbatere științifică provocatoare pentru publicul cititor din domeniul economic. Focalizarea subiectelor din articolele prezente pe motivațiile de cercetare ale doctoranzilor și postdoctoranzilor face ca acest volum să reprezinte un debut publicistic pentru unii autori iar pentru alții, o consolidare a vocației. Diseminarea pasiunilor în astfel de contexte consolidează colaborarea și deschiderea spre noi subiecte investigative. Volumul este destinat studenților, cercetătorilor și profesorilor și îl propunem ca reper bibliografic pentru dezvoltarea altor idei de cercetare și inovare în arealul nostru tematic. (shrink)

Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

The purpose of this paper is to assess the emergence of the pirate movements in the European Union. Our goal is to sketch the steps towards a research agenda for this grassroots political movement which gained momentum since 2009. To attain our goal we showed the re-signification of the concept of piracy in the debate around intellectual property and its institutional settlement. Afterwards we analysed the big political themes of several European Pirate Parties and their struggle to follow the preferences (...) of the median voter. We concluded with a set of hypotheses of which the most important is that the pirates will inscribe neither to the left nor to the right part of the political spectrum. (shrink)

Psychological eudaimonism is the view that we are constituted by a desire to avoid the harmful. This entails that coming to see a prospective or actual object of pursuit as harmful to us will unseat our positive evaluative belief about that object. There is more than one way that such an 'unseating' of desire may be caused on an intellectualist picture. This paper arbitrates between two readings of Socrates' 'attack on laziness' in the Meno, with the aim of constructing a (...) model of moral education based on PE's implied moral psychology. In particular, we argue against the view that when we come to see - through prudential reasoning - that our blatant evaluative beliefs and desires disserve eudaimonism, we will no longer perceive their intentional objects as choice-worthy. We suggest, instead, that it is by experiencing shame that we cease to see the intentional objects of our evaluative beliefs and desires as worthy of pursuit. This form of 'hydraulic education' bypasses reason-responsiveness altogether. As such, it only allows for practical norms to be derived from the nature of agency indirectly, namely by enabling the use of discursive practical reasoning. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

„Strategia noastră a fost de a gândi un text util pentru profesori, dar de a-l scrie mai ales pentru studenți. Etica este interesantă cu precădere atunci când pune în joc intuiții morale sau valori diferite și când ne confruntăm cu dileme în care decizia nu este evidentă, iar dezacordul este rezonabil. Prin urmare, am încercat să ne ferim pe cât a fost posibil de verdicte și de simpla enumerare a unor interdicții. Veți observa că, de cele mai multe ori, exercițiile (...) și temele de discuție nu au soluții impuse. Nu pentru că autorii manualului nu ar adera la anumite soluții (poate nu la aceleași!), ci pentru că ni s-a părut mult mai importantă conturarea problemelor. Dilemele și întrebările deschise generează dezbateri și prilejuiesc reflecție. Sentințele, pe de altă parte, tind să ucidă discuția și să prilejuiască mai curând reacții de îmbrățișare sau de respingere vehementă. Dacă vom ajunge, în comunitățile noastre profesionale și în societate, să vorbim mai mult unii cu alții și mai puțin unii la alții, vom fi făcut probabil un pas major în direcția corectă pentru dezvoltarea unei atitudini morale.” (Autorii). (shrink)

Lawrence Kohlberg's Approach to Moral Education presents what the late Lawrence Kohlberg regarded as the definitive statement of his educational theory. Addressing the sociology and social psychology of schooling, the authors propose that school culture become the center of moral education and research. They discuss how schools can develop as just and cohesive communities by involving students in democracy, and they focus on the moral decisions teachers and students face as they democratically resolve problems. As the authors put it: "...we (...) propose an educational renewal of our democratic society.... We have attempted to establish schools that do more than just teach about democratic citizenship, that are themselves democratic societies.". (shrink)

There are two popular views regarding the origin of critical thinking: (1) The concept of critical thinking began with Socrates and his Socratic method of questioning. (2) The term ‘critical thinking’ was first introduced by John Dewey in 1910 in his book How We Think. This paper argues that both claims are incorrect. Firstly, critical reflection was a distinguishing characteristic of the Presocratic philosophers, setting them apart from earlier traditions. Therefore, they should be recognized as even earlier pioneers of critical (...) thinking. Secondly, John Dewey not only used the term ‘critical thinking’ before 1910, but there were also other authors who used it before him. The meaning of ‘critical thinking’ at the turn of the twentieth century was shaped by various traditions of linguistic usage, including literary criticism, science and medicine, and Kantian philosophy. (shrink)

The JTB definition of knowledge has been shown by Gettier to be incomplete: its three conditions are necessary for knowledge, but not sufficient. We argue that the JTB definition can be completed with a very simple fourth condition, namely that the justification for the belief in p must be sufficient to exclude ¬p. It is shown that the resulting JTB+S definition solves the Gettier problem.

The context for biological emergence is modular hierarchical structures; their existence is what enables functional complexity to arise. Because of the openness of organisms to their environment, complete initial data (position, momentum) of all particles making up their structure is insufficient to determine future outcomes, because unpredictable new matter, energy, and information impacts each organism from the exterior. Consequently, through Darwinian evolution, life has developed processes to handle this issue functionally on short time scales as well on longer developmental timescales. (...) Symbolism and technology are the transforming factors handling this issue at the social levels, which is where the most sophisticated outcomes of openness occur. Considering the cosmological context, the issue is, should the universe itself be regarded as an open system over time? I make the case that is indeed so, because radically new outcomes occur such as the existence of aircraft, iPads, and the internet, which could not plausibly have been encoded in some form of data on the Last Scattering Surface in the expanding universe. (shrink)

Abstract: Tomatoes are among the most popular vegetables in the world due to their frequent use in many dishes, which fall into many varieties in common and traditional foods, and due to their rich ingredients such as vitamins and minerals, so they are frequently used on a daily basis, When we focus our attention on this vegetable, we must also focus and take into consideration the diseases that affect this vegetable, a deep learning model that classifies tomato diseases has been (...) proposed. The aim of this paper is to diagnose tomato diseases based on a dataset containing 11000 picture and 11 classes. The model gave the final accuracy test with Accuracy (99.87%), F1-score (99.87%), Recall (99.87%), and Precision (99.88%) in an estimated time 1.36 second, as with these results it proved its effectiveness and good ability in the classification of the testing data. (shrink)

Many hypotheses have been advanced to explain the collective irrationality of COVID-19 vaccine hesitancy, such as partisanship and ideology, exposure to misinformation and conspiracy theories or the effectiveness of public messaging. This paper presents a complementary explanation to epistemic accounts of collective irrationality, focusing on the moral reasons underlying people’s decisions regarding vaccination. We argue that the moralization of COVID-19 risk mitigation measures contributed to the polarization of groups along moral values, which ultimately led to the emergence of collective irrational (...) behaviors. Collective irrationality arises from groups explicitly or implicitly endorsing values that ultimately harm both themselves and those around. The role of social media platforms in amplifying this polarization and contributing to the emergence of collective irrationality is also examined. Finally, potential strategies for addressing the moral sources of collective irrationality are discussed. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

Abortion bans have been characterized as cruel especially in not allowing exceptions for rape or incest. The article first examines one approach to morally justifying bans based on the Doctrine of Double Effect (DDE) which distinguishes morally between killing or letting die intending death versus doing so only foreseeing death. It then presents some criticisms of the implications of the DDE but also argues that what the doctrine permits helps provide a ground for the permissibility of abortions even if the (...) fetus is a person. Whether there are limits on applying this argument is also considered. In conclusion, the article considers whether and why not permitting exceptions to bans for rape and incest is cruel and whether cruelty is a ground for opposition to bans. (shrink)

I present an account of the passage of time and the present in relativistic spacetimes, and I defend these views against recent criticism by Oliver Pooley and Craig Callender.

Brain-related diseases are among the most difficult diseases due to their sensitivity, the difficulty of performing operations, and their high costs. In contrast, the operation is not necessary to succeed, as the results of the operation may be unsuccessful. One of the most common diseases that affect the brain is Alzheimer’s disease, which affects adults, a disease that leads to memory loss and forgetting information in varying degrees. According to the condition of each patient. For these reasons, it is important (...) to classify memory loss and to know the patient at what level and his assessment of Alzheimer's disease through CT scans of the brain. In this thesis, we review ways and techniques to use deep learning classification to classifying the Alzheimer's Disease The proposed method used to improve patient care, reduce costs, and allow fast and reliable analysis in large studies. The model will be designed using Python language for implementing the system, which is very useful for doctors, classifying the Alzheimer's Disease, was used. The model used 70% from image for training and 30% from image for validation, our trained model achieved an accuracy of 100% on a held-out test set. (shrink)

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention (...) of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present an alternative solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

This book develops the law of political economy as a new field of scholarly enquiry. Bringing together an exceptional group of scholars, it provides a novel conceptual framework for studying the role of law and legal instruments in political economy contexts, with a focus on historical transformations and central challenges in both European and global contexts. Its chapters reconstruct how the law of political economy plays out in diverse but central fields, ranging from competition and consumer protection law to labour (...) and environmental law, giving a comprehensive overview of the central challenges of the law of political economy. It also provides a sophisticated and multifaceted framework for further enquires while outlining the contours of new law of political economy. (shrink)

Causal finitism claims nothing can have an infinite causal history. An influential defense of this position uses infinity paradoxes to argue that, if causal finitism is false, several impossible scenarios would be possible. In this paper, I defend that theists should not be persuaded by this argument. If true, this is an important development, since causal finitism is often argued for by theists as a core premise in Kalam-style cosmological arguments for theism. I extend the same analysis to an argument (...) in favor of temporal finitism and conclude that my point may generalize to any reasoning of a similar structure. (shrink)